package psd.model.Prolog.Converters;

import org.eclipse.jdt.core.dom.NullLiteral;

import psd.model.IConverter;
import psd.model.Prolog.FactGenerationToolbox;
import psd.model.Prolog.PrologConverter;


public class PrologNullLiteralConverter extends PrologConverter implements
		IConverter<NullLiteral> {

	public PrologNullLiteralConverter(FactGenerationToolbox toolbox) {
		super(toolbox);
	}

	@Override
	public boolean convert(NullLiteral node) {
		String args[] = { quote("null"), quote("null") };
		createBodyFact(node, "identT", args);
		writeSourceLocationArgumentRaw(node, "identifier(null)", node
				.getStartPosition(), node.getLength());
		return true;
	}

}
